mini.
H1: x <- [0 .. 1].
->
C1: x <= x + 1/100.
C2: x <= Sqrt(x) + 1/100.
